1. Algebraic systems
المؤلف: )by( A. I. Mal'cev. Translated from the Russian by B. D. Seckler and A. P. Doohovskoy,Title
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Algebra, Abstract,Model theory,Logic, Symbolic and mathematical
رده :
QA
.
M3413
162
2. Algebraic systems
المؤلف: Maltsev, Anatolii Ivanovich
المکتبة: (طهران)
موضوع: ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3513
1973
3. Algebraic systems
المؤلف: Maltsev, Anatolii Ivanovich
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
1
.
G7
v
.
192
4. Algebraic systems
المؤلف: Mal'tsev, Anatolii Ivanovich, 9091-7691
المکتبة: (طهران)
موضوع: ، Algebra, Abstract,، Model theory,، Logic, Symbolic and mathematical
رده :
QA
162
.
M3413
1973
5. Beyond first order model theory
المؤلف: \ edited by Jose Iovino.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Model theory.,Logic, Symbolic and mathematical., نظریه مدل,منطق ریاضی
رده :
QA9
.
7
.
I587
2017
E-book
,
6. Beyond first order model theory
المؤلف: edited by Jose Iovino
المکتبة: (طهران)
موضوع: ، Model theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
7
.
B49
7. Elementary end extensions in model theory and set theory
المؤلف: by: Shahram Mohsenipour,^AMohsenipour, Shahram
المکتبة: (طهران)
موضوع: Logic, Symbolic and mathematical,Model theory,Set theory
8. Fundamentals of mathematical logic /
المؤلف: Peter G. Hinman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Model theory.,Recursion theory.,Set theory.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Model theory.,Recursion theory.,Set theory.
رده :
QA9
.
H527
2005
9. Institution-independent model theory
المؤلف: Diaconescu, Razvan
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Model theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
7
.
D53
2008
10. Logic Colloquium '87: proceedings of the colloquium held in Granada, Spain, July 20-25, 1987
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory
رده :
QA
9
.
A1
.
L63
1987
11. Logica universalis
المؤلف: / Jean-Yves Beziau, editor
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Logic, Symbolic and mathematical.,Model theory.
رده :
QA
,
9
.
2
,.
L64
,
2005
12. Logica universalis
المؤلف: / Jean-Yves Beziau, editor
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Logic, Symbolic and mathematical,Model theory
رده :
QA9
.
2
.
L64
2005
13. Mathematical logic : an introduction to model theory
المؤلف: Lightstone, A. H.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
L54
14. Mathematical logic; an introduction to model theory
المؤلف: / A. H. Lightstone edited by H. B. Enderton
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Logic, symbolic and mathematical,Model theory
رده :
511
.
3
L724
15. Mathematical logic and model theory : a brief introduction
المؤلف: Prestel, Alexander, 1491-
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P743M3
16. Mathematical logic and model theory a brief introduction
المؤلف: Prestel, A.)Alexander(,1491-, Alexander Prestel, Charles N. Delzell
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
169
.
M3
P7
2011
17. Mathematical logic and model theory: a brief introduction
المؤلف: Prestel, A. )Alexander(
المکتبة: المكتبة المركزية ومركز التوثيق (کلستان)
موضوع: ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
M38
18. Mathematical logic and model theory: a brief introduction
المؤلف: Prestel, A. )Alexander(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
2011
19. Non-Classical logics, model theory, and compuability : proceedings of the third Latin-American Symposium on mathematical logic, campinas, Brazil, July 11-17, 1976
المؤلف: edited by A.I. Arruda, N.C.A. da Costa )and( R. Chuaqui
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Model theory,، Recursive functions
رده :
QA
9
.
L38
20. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
المؤلف: edited by G. H. Muller and M. M. Richter
المکتبة: (طهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
رده :
QA
3
.
L28
Vol
.
1103
,
1104
